Shark Attacks Near Texas Beach Injure 4 People, Officials Say